article by Philip Wadler at 2nd International Conference on Functional Programming, Amsterdam.

Wadler's type system for Erlang developed at Glasgow University with Simon Marlow.

Dynamic Trees are mixtures of tree structured belief networks, and are used as models for image segmentation and tracking.

University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.

University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving.

EML is a framework for specification and formal development of Standard ML programs. Description, publications, tool support, education resources.

University of Edinburgh - 3D scene understanding, model based object recognition, range image analysis, and parallel vision algorithms.

Includes a brief review of REBOL from a functional programming perspective.

Lists functional programs written primarily to perform to real-world tasks. Has pure programs (no side effects) and impure (some use of side effects). Languages: Caml, Clean, Erlang, Haskell, Miranda, Scheme, Standard ML.

Concise introduction and demonstration of the Hough Transform, used for finding lines and edges in images, along with pointers to more advanced techniques for partial and curved lines.